Compilation of LOTOS Abstract Data Types
نویسنده
چکیده
Lotos data structures are described by sorts, which represent value domains, and operations, which are mathematical functions defined on these domains by algebraic equations. Value expressions are terms built from variables and operations. Sorts, operations, and equations are grouped in modules called types, which can be combined together using multiple inheritance, renaming, parametrization, and actualization.
منابع مشابه
Compilation et vérification de programmes LOTOS
LOTOS (Language Of Temporal Ordering Specification) is a language for the description of concurrent and communicating systems, standardized by ISO and CCITT to allow formal definition of telecommunication protocols and services. LOTOS is based on algebraic abstract types to specify data structures and on a process calculus, close to CSP and CCS, to express control structures. This thesis propos...
متن کاملRepresenting and Verifying Intentions in Telephony Features Using Abstract Data Types
Feature intentions describe the intended behavior of telephony features. A method for formally specifying feature intentions by abstract data types is given. Further, a method for detecting violation of certain types of feature intentions at the design stage is provided. Specification languages considered are SDL, Prolog, and LOTOS. If the specification is in LOTOS, detection can be helped by t...
متن کاملSpecifying Properties of Basic LOTOS Processes Using Temporal Logic: A Tutorial
DRAFT Abstract Temporal logic can be used to describe desirable properties of a system in a more abstract, less constructive manner than when using process algebra alone. This is a well researched area for other process algebras, but not so for LOTOS. This paper is an initial attempt to ll that gap by investigating the use of the modal-calculus with Basic LOTOS, laying the groundwork for work o...
متن کاملSpecifying Properties of Basic LOTOS Processes Using Temporal Logic
Temporal logic can be used to describe desirable properties of a system in a more abstract, less constructive, manner than when using process algebra alone. This is a well researched area for other process algebras, but not so for LOTOS. This paper is an initial attempt to fill that gap by investigating the use of the modal -calculus with Basic LOTOS, laying the groundwork for current work on F...
متن کاملAn Experiment with the Lotos Formal Description Technique on the Flight Warning Computer of Airbus 330/340 Aircrafts
This paper presents the main results of a two-year study concerning the introduction of formal methods in the life cycle of avionics software. This study was done in the framework of the EUREKA European project AIMS (Aerospace Intelligent Management and development environment for embedded Systems). The ISO language Lotos was used to describe a signiicant subset of the Flight Warning Computer o...
متن کامل